/*
 * TimedNotifier.h
 *
 *  Created on: Jun 3, 2010
 *      Author: sdaniele
 */

#ifndef TIMEDNOTIFIER_H_
#define TIMEDNOTIFIER_H_

#include "EventUser.h"

namespace noti {

class TimedNotifier: public EventUser {
protected:
	virtual void init_sensitive();

private:
	const sc_time& m_time;

public:
	TimedNotifier(::std::string name, sc_event* event, const sc_clock* clk, bool is_thread, const sc_time& t  );
	virtual ~TimedNotifier();

	virtual void do_method_work();
	virtual ::std::string report() const {
		return EventUser::report();
	}
};

}

#endif /* TIMEDNOTIFIER_H_ */
